0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Trefferliste "Formal Systems" - alle Bücher, LPs, CDs und mehr

    Ihre Suche nach "Formal Systems" (Bücher, LPs, CDs und mehr) ergab 84 Treffer.

    Ansicht:

    Descriptional Complexity of Formal Systems

    This book constitutes the refereed proceedings of the 26th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems, DCFS 2025, held in Loughborough, UK, during July 22--24, 202…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 131,42

    Formal Methods for Industrial Critical Systems

    Lecture Notes in Computer Science - Band 16040

    This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025. The 13 full p…

    lieferbar ab 28.9.2025.
    Buch
    Aktueller Preis: EUR 63,51

    Formal Methods for Industrial Critical Systems

    This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9¿13, 2024.The 14 full pape…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51

    Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

    This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took pla…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Formal Techniques for Distributed Objects, Components, and Systems

    This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51

    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Rolf Drechsler, Pascal Pieper
    Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

    This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus,…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 131,42

    Andreas Georg Grote,
    Datenbanksysteme und bioinformatische Werkzeuge zur Optimierung biotechnologischer Prozesse mit Pilzen

    Der Braunschweiger SFB 578 "Vom Gen zum Produkt" befasst sich mit der Erfassung aller biologischen und verfahrenstechnischen Parameter, die dem Produktionsprozess rekombinanter Proteine in dem f…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 37,95

    Anette Schumacher, Sandra Biewers-Grimm
    Zufriedenheit, Wohlbefinden und Anerkennung im Kontext non-formaler Bildung

    Schriften der Willy Brandt School of Public Policy an der Universität Erfurt

    Wie zufrieden sind Eltern mit der pädagogischen Qualität der Kleinkinderbetreuung? Wie positioniert sich das pädagogische Fachpersonal hierzu und zur Qualität der eigenen Arbeit? Woran lässt sich das Wohl…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 42,00

    Informatik Band 3 - gymnasiale Oberstufe - Allgemeine Ausgabe - Schulbuch

    Das neue Lehrwerk Informatik - gymnasiale Oberstufe verfolgt mit seinem handlungsorientierten Konzept und der Anordnung der Inhalte einen werkzeugunabhängigen Ansatz - und behandelt die Werkzeugkunde getr…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 28,50

    Gomorrha - Reise ins Reich der Camorra

    Macht, Geld, Blut. Damit werden die Einwohner der Provinzen von Neapel und Caserta tagtäglich konfrontiert. Nur eine privilegierte Minderheit kann überhaupt daran denken, ein 'normales' Leben zu führen. V…

    lieferbar innerhalb einer Woche
    DVD
     
    Aktueller Preis: EUR 9,99

    Dennis Bovell
    Sufferer Sounds (Rare Dubs, Roots & Lovers Rock)

    Dennis Bovells produktive und eklektische Karriere umfasst eine große Bandbreite an Musik: von Dub Poetry über Lovers Rock bis hin zu Post-Punk, Disco und Pop und darüber hinaus. Seine Produktionsarbeit u…

    Artikel am Lager
    2 LPs
     
    Aktueller Preis: EUR 39,99

    Manu Chao
    Sibérie M'Etait Contéee

    Format:TaschenbuchManu Chao hat eine neue CD herausgebracht. Diese Nachricht bereitete mir schlaflose Nächte bis ich sie endlich in den Händen halten durfte. Er ist für mich schließlich aufgrund seiner mu…

    Artikel am Lager
    2 LPs, CD
     
    Aktueller Preis: EUR 39,99

    Frederic Paul Probst
    Jugendschutz auf Video-Sharing-Plattformen

    Schriftenreihe des Archivs für Urheber- und Medienrecht UFITA - Band 302

    Wie müssen Anbieter von Video-Sharing-Plattformen Minderjährige vor schädlichen Inhalten schützen? Obwohl Dienste wie YouTube zu den beliebtesten Internetanwendungen unter Kindern und Jugendlichen gehören…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 199,00

    Gomorrha - Reise ins Reich der Camorra (Blu-ray)

    Macht, Geld, Blut. Damit werden die Einwohner der Provinzen von Neapel und Caserta tagtäglich konfrontiert. Nur eine privilegierte Minderheit kann überhaupt daran denken, ein 'normales' Leben zu führen. V…

    lieferbar innerhalb 1-2 Wochen
    Blu-ray Disc
     
    Aktueller Preis: EUR 12,99

    Div. Autoren,
    Numerische Modellierung des Ermüdungsverhaltens von normal- und hochfestem Beton

    DAfStb-Heft - Band 649

    Trotz der bemerkenswerten Erkenntnisse, die in den letzten Jahren bei der Modellierung und Charakterisierung des Ermüdungsverhaltens von Beton gewonnen wurden, bleiben noch viele offene Fragen zu klären, …

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 58,40

    Sarah Gerwing
    Das Diversity-Betriebssystem

    Haufe Fachbuch

    Wie ein Smartphone braucht dein Unternehmen das richtige Betriebssystem, um optimal zu funktionieren. Dieses Handbuch liefert eine praxiserprobte Anleitung, um das Diversity Management so zu konfigurieren…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 29,99

    Monika Burgmaier, Ulrich G. P. Freyer, Oliver Gomber, Bernhard Grimm
    Tabellenbuch Informations-, Geräte-, System- und Automatisierungstechnik

    Europa-Fachbuchreihe für elektrotechnische und elektronische Berufe

    Das Buch ist ein umfassendes Nachschlagewerk für die Bereiche Kommunikationstechnik, Systemtechnik, Medientechnik, Automatisierungstechnik und Informationstechnik.Kompakte und übersichtliche Darstellung d…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 42,30

    Sufferer Sounds (Rare Dubs, Roots & Lovers Rock)

    Dennis Bovells produktive und eklektische Karriere umfasst eine große Bandbreite an Musik: von Dub Poetry über Lovers Rock bis hin zu Post-Punk, Disco und Pop und darüber hinaus. Seine Produktionsarbeit u…

    lieferbar in mind. 4 Wochen
    CD
     
    Aktueller Preis: EUR 20,99

    Thewodros Geberemariam
    Resilient Urban Drainage System Strategies for Extreme Weather

    "This groundbreaking book, authored by a leading expert in the field, delves into the crucial intersection of urban planning, climate resilience, and infrastructure design. It navigates the complexit…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 120,61
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.